Tudo é enumerável: observações sobre o projeto logicista de Frege